record B

record A where
  b : B
record B where
  a : A
